Mixed hierarchical-functional fault models for targeting sequential cores

نویسندگان

  • Jaan Raik
  • Raimund Ubar
  • Taavi Viilukas
  • Maksim Jenihhin
چکیده

Current work presents a set of fault models allowing high coverage for sequential cores in Systems-on-aChip. We propose a novel approach combining a hierarchical fault model for functional blocks, a functional fault model for multiplexers and a mixed hierarchical-functional fault model for comparison operators, respectively. The fault models are integrated into a fast high-level decision diagram based test path activation tool. According to the experiments, the proposed method significantly outperforms state-ofthe-art test pattern generation tools. The main new contribution of this paper is a formal definition of high-level decision diagram representations and the combination of the three fault models in order to target high gate-level stuck-at fault coverage for sequential cores.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Targeting Conditional Operations in Sequential Test Pattern Generation

The goal of the paper is to propose a set of dedicated fault models targeting single stuck-at faults in hierarchical designs. These include hierarchical fault model for Functional Units, a functional model for multiplexers and a combined hierarchical-functional fault model for conditional operations. In the paper, the new fault models have been integrated to a high-level test path activation to...

متن کامل

Enhancing Hierarchical Atpg with a Functional Fault Model for Multiplexers

Current paper aims at improving the test generation at registertransfer level by proposing a new functional fault model as a complement to the hierarchical model to target single-stuck at faults in hierarchical designs. Experiments on different sequential benchmarks show that the new fault model allows to significantly increase the accuracy of hierarchical test generation in comparison to tradi...

متن کامل

DECIDER: A System for Hierarchical Test Pattern Generation

A hierarchical test pattern generation system that uses register-transfer level VHDL and gate-level EDIF netlist descriptions as inputs is presented in current paper. The main novelty of the hierarchical ATPG tool lies in the fact that it implements internal representation of mixed-level (register-transfer and structural levels) decision diagram models. The system includes appropriate interface...

متن کامل

DECIDER: Test and Verification at the Register-Transfer Level

DECIDER is a tool for test and verification at RTL VHDL. It combines hierarchical and functional fault models reaching high fault coverages for sequential designs and it supports commercial CAD flows.

متن کامل

Model-based Approach for Multi-sensor Fault Identification in Power Plant Gas Turbines

In this paper, ‎the multi-sensor fault diagnosis in the exhaust temperature sensors of a V94.2 heavy duty gas turbine is presented‎. ‎A Laguerre network-based fuzzy modeling approach is presented to predict the output temperature of the gas turbine for sensor fault diagnosis‎. Due to the nonlinear dynamics of the gas turbine, in these models the Laguerre filter parts are related to the linear d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Journal of Systems Architecture - Embedded Systems Design

دوره 54  شماره 

صفحات  -

تاریخ انتشار 2008